Verification theorem and construction of -optimal controls for control of abstract evolution equations
نویسندگان
چکیده
We study several aspects of the dynamic programming approach to optimal control of abstract evolution equations, including a class of semilinear partial differential equations. We introduce and prove a verification theorem which provides a sufficient condition for optimality. Moreover we prove suband superoptimality principles of dynamic programming and give an explicit construction of -optimal controls.
منابع مشابه
Veri cation theorem and construction of -optimal controls for control of abstract evolution equations
We study several aspects of the dynamic programming approach to optimal control of abstract evolution equations, including a class of semilinear partial di erential equations. We introduce and prove a veri cation theorem which provides a su cient condition for optimality. Moreover we prove suband superoptimality principles of dynamic programming and present an explicit construction of -optimal ...
متن کاملNew results for fractional evolution equations using Banach fixed point theorem
In this paper, we study the existence of solutions for fractional evolution equations with nonlocalconditions. These results are obtained using Banach contraction xed point theorem. Other resultsare also presented using Krasnoselskii theorem.
متن کاملDynamical Control of Computations Using the Family of Optimal Two-point Methods to Solve Nonlinear Equations
One of the considerable discussions for solving the nonlinear equations is to find the optimal iteration, and to use a proper termination criterion which is able to obtain a high accuracy for the numerical solution. In this paper, for a certain class of the family of optimal two-point methods, we propose a new scheme based on the stochastic arithmetic to find the optimal number of iterations in...
متن کاملConstruction of measures of noncompactness of $C^k(Omega)$ and $C^k_0$ and their application to functional integral-differential equations
In this paper, first, we investigate the construction of compact sets of $ C^k$ and $ C_0^k$ by proving ``$C^k, C_0^k-version$" of Arzel`{a}-Ascoli theorem, and then introduce new measures of noncompactness on these spaces. Finally, as an application, we study the existence of entire solutions for a class of the functional integral-differential equations by using Darbo's fixe...
متن کاملRobust Anti-Windup Control Design for PID Controllers–Theory and Experimental Verification
This paper addresses an approximation-based anti-windup (AW) control strategy for suppressing the windup effect caused by actuator saturation nonlinearity in proportional–integral–derivative (PID) controlled systems. The effect of actuator constraint is firstly regarded as a disturbance imported to the PID controller. The external disturbance can then be modeled by a linear differential equatio...
متن کامل